Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP1: Identification and modelling of uncertain hybrid systems Safety relevant operational cases in Air Traffic Management
نویسندگان
چکیده
This is the first deliverable under work package WP1 of the HYBRIDGE project. The aim of the report is to provide a list of safety critical operational situations in air traffic management. A “gate to gate” view is presented of the safety critical situations an aircraft may encounter in normal flight conditions. Particular attention is devoted to cases likely to become more prominent as air traffic density increases. Motivated by the long term goals of WP1 (and the goals of WP3, WP5 and WP6 that make direct use of the results of WP1), the short-list is given with a particular emphasis on issues relating to conflict detection and resolution. In anticipation of the second deliverable of WP1, we also provide a brief discussion of the modelling issues that arise in the development of concrete mathematical models of the safety critical situations. The report concludes a short review of current conflict detection and resolution research. A brief outline of three classes of approaches to conflict detection is given: nominal, probabilistic and worst case. ∗Department of Engineering, University of Cambridge, Cambridge, CB2 1PZ, U.K. Tel. (44 1223) 332 770, Fax. (44 1223) 332 662, ojw26, [email protected].
منابع مشابه
Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP1: Identification and modelling of uncertain hybrid systems Simplified Multi-Aircraft Models for Conflict Detection and Resolution Algorithms
Simplified models used in conflict detection and resolution are presented. When simplifying the models that do not significantly affect their capability of predicting dangerous encounters Analysis is performed to determine how accurate these models are and what assumptions can be made when simplifying the models that do not significantly affect their capability of predicting dangerous encounter...
متن کاملDistributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems Semantics, bisimulation and interaction- structures for the CPDP model
متن کامل
Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems CPDP: A compositional framework for stochastic hybrid systems of the PDP type
6 Compositional specification of a forest landscape model using CPDPs 34 6.
متن کاملCoordinated Control for Highly Reconfigurable Systems
Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on non-uniform and uncertain discrete-time doma...
متن کاملPrediction of Driver’s Accelerating Behavior in the Stop and Go Maneuvers Using Genetic Algorithm-Artificial Neural Network Hybrid Intelligence
Research on vehicle longitudinal control with a stop and go system is presently one of the most important topics in the field of intelligent transportation systems. The purpose of stop and go systems is to assist drivers for repeatedly accelerate and stop their vehicles in traffic jams. This system can improve the driving comfort, safety and reduce the danger of collisions and fuel consumption....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002